翻訳と辞書 Words near each other ・ Jan Kustos ・ Jan Kułakowski ・ Jan Kvalheim ・ Jan Kvicala ・ Jan Kwapiński ・ Jan Kyhle ・ Jan Kysela ・ Jan Káňa ・ Jan Kåre Hystad ・ Jan Kårström ・ Jan Křesadlo ・ Jan Křivohlávek ・ Jan Křtitel Kuchař ・ Jan Kůrka ・ Jan l'Admiral ・ Jan L. A. van de Snepscheut ・ Jan L. Perkowski ・ Jan Lachauer ・ Jan Ladislav Dussek ・ Jan Lagoor ・ Jan Lake Airport ・ Jan Lake, Saskatchewan ・ Jan Lakeman ・ Jan Lam ・ Jan Lamb ・ Jan Lambooy ・ Jan Lambrecht Domien Sleeckx ・ Jan Lambrichs ・ Jan Lammers ・ Jan Lammers (athlete) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Jan L. A. van de Snepscheut ： ウィキペディア英語版 Jan L. A. van de Snepscheut Johannes Lambertus Adriana van de Snepscheut (; 12 September 195323 February 1994) was a computer scientist and educator. He was a student of Martin Rem and Edsger Dijkstra. At the time of his death he was the executive officer of the computer science department at the California Institute of Technology., and was writing an editor for theorem proving called "Proxac". In the early morning hours of February 23, 1994, van de Snepscheut attacked his sleeping wife, Terre, with an axe. He then set their house on fire, and died as it burned around him. Terre and their three children escaped their burning home.〔 ==Bibliography== * Jan L. A. Van De Snepscheut, ''What computing is all about,'' Springer, 1993. * Jan L. A. Van De Snepscheut, ''Trace Theory and VLSI Design,'' Lecture Notes in Computer Science, Volume 200, Springer, 1985. This is Van De Snepscheut's Ph.D. thesis, entirely handwritten, including the index.) 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Jan L. A. van de Snepscheut」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.